Multipartite Composition of Contextuality Scenarios

Contextuality in Multipartite Pseudo-Telepathy Graph Games

Analyzing pseudo-telepathy graph games, we propose a way to build contextuality scenarios exhibiting the quantum supremacy using graph states. We consider the combinatorial structures generating equivalent scenarios. We investigate which scenarios are more multipartite and show that there exist graphs generating scenarios with a linear multipartiteness width.

Multipartite maximally entangled states in symmetric scenarios

We consider the class of (N + 1)-partite states suitable for protocols where there is a powerful party, the authority, and the other N parties play the same role, namely, the state of their system lies in the symmetric Hilbert space. We show that, within this scenario, there is a “maximally entangled state” that can be transform by a local operations and classical communication protocol into an...

Formal Composition of Distributed Scenarios

Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and the race conditions between events make it difficult to include all the possible scenario combinations and thus to get a complete specification. Most research about formal methods dealt with languages and neglected t...

PACOSUITE Component Composition Based on Composition Patterns and Usage Scenarios

Web Services Synchronization in Composition Scenarios

This paper discusses Web services synchronization at the composition level. Synchronization aims at assisting independent parties coordinate their actions and thus, avoid conflicts. Our previous work on synchronization primarily focused on the component level and shed the light on two types of behaviors related to specifying Web services. The control behavior defines the business logic that und...